
.all {
font-family:Verdana, Arial, Helvetica, sans-serif;

}

.category { background-color: white; color: #006633; cursor:pointer; }
.item:hover { background-color: #aaaaaa; color: #006633; width:11em; }
.item { background-color: #99aaaa; color: #000033; width:11em; }

.footnote {
   border-right: black 1px solid;
   border-left: black 1px solid;
   border-top: black 1px solid;
   border-bottom: black 1px solid;
   word-wrap: break-word;
   padding-right: 0;
   padding-left: 0;
   padding-top: 0;
   padding-bottom: 0;
   z-index: 1;
   position: absolute;
   visibility: hidden;
   overflow: hidden;
   color: black;
   background-color: #ffffaa;
   width: 300px;
   word-wrap: break-word;
}

.title {
	background-color: black;
	color: #999999;
	width: 700px;
	overflow-x: auto;
	overflow-y: auto;
}

.position {
	background-color: #ddeedd;
	color: black;
	width: 215px;
	height: 100%;
	overflow-x: hidden;
	overflow-y: auto;
   padding-right: 10;
   padding-left: 10;
   padding-top: 30;
   padding-bottom: 10;
}

.toggler {
	cursor:pointer;
	color:salmon;
	font-weight:bold;
	text-decoration: underline;
   padding-top: 10px;
   padding-bottom: 10px;
}

.toggler2 {
	cursor:pointer;
	color:salmon;
	font-weight:bold;
   padding-top: 10px;
   padding-bottom: 10px;
}

.segment {
   padding-right: 10px;
   padding-left: 30px;
   padding-top: 10px;
   padding-bottom: 10px;
}

.example {
	color: #005555;
	width: 200px;
	height: 100%;
	overflow-x: scroll;
	overflow-y: hidden;
   padding-right: 5;
   padding-left: 5;
   padding-top: 1;
   padding-bottom: 1;
}

.summary {
	width: 700px;
	overflow-x: auto;
	overflow-y: auto;
   padding-right: 10px;
   padding-left: 10px;
   padding-top: 10px;
   padding-bottom: 10px;
}

.body {
	background-color: #eeeedd;
	color: #113311;
	width: 700px;
	overflow-x: visible;
   padding-right: 10;
   padding-left: 10;
   padding-top: 10;
   padding-bottom: 10;
}

.subsections {
	color: black;
	width: 700px;
	overflow-x: auto;
	overflow-y: auto;
   padding-right: 10px;
   padding-left: 10px;
   padding-top: 10px;
   padding-bottom: 10px;
}
.comments {
	background-color: #ddeedd;
	color: #444455;
	width: 700px;
	overflow-x: auto;
   padding-right: 10;
   padding-left: 30;
   padding-top: 10;
   padding-bottom: 10;
}